$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$).
\\[0ex](loc($e$) = loc(${\it e'}$) $\in$ Id) $\Rightarrow$ es{-}locl(${\it es}$; ${\it e'}$; $e$) $\Rightarrow$ sqequal([$e$, ${\it e'}$]; [])